CSE 2231 Glossary

Representation Invariant

Describes which configurations of Instance Variables are considered to be legal. Represented in the class javadoc tag @convention. It must be true after the constructor terminates and at the end of every method call.

Previous

Next